\documentclass[10pt]{article}

\usepackage{aaai}
\usepackage{times}
\usepackage{helvet}
\usepackage{courier}
\usepackage[vlined,ruled]{algorithm2e}
\usepackage{graphics}
\usepackage{colordvi,epsfig,multirow,amsmath,amssymb}
\usepackage{subfigure,fancyvrb}
\usepackage{amsfonts}

%\setlength{\voffset}{-0.4in}

\newcommand{\nop}[1]{}
%\setlength{\voffset}{-0.4in}
\def\qed{\hspace*{\fill} $\blacksquare$}
%\newtheorem{defn}{Definition}

\newtheorem{defn}{Definition}
\newtheorem{lemma}{Lemma}
\newtheorem{proof}{Proof}
\newtheorem{ex}{Example}
\newtheorem{theorem}{Proposition}
%\newtheorem{theorem}{Theorem}


\title{Enhancing Best-First Search for Planning by Stochastic Plateau Escape}
\author{Paper ID: 103}
\begin{document}
\maketitle

\input{0.Abstract}
\input{1.Introduction}
\input{2.Background}
\input{3.Formulation}
\input{4.Algorithm}
\input{5.Theory}
\input{8.Experiments}

% TODO Collect results
% Also, here I need to discuss the quality of the solution and WA* algorithm that uses the first solution. 

\bibliographystyle{aaai}
\bibliography{aaai2011}

\end{document}
